#!/bin/bash
# THIS IS A GENERATED FILE, NOT RECOMMENDED TO EDIT.

PID=$(cat /tmp/myrobot.pid)
logger -p user.info "Attempting to stop myrobot (PID $PID)"
kill $PID
logger -s -p user.info "Waiting for roslaunch process to end"
while kill -0 $PID 2>/dev/null; do sleep 0.2; done
